1. Automated Reasoning and Mathematics
پدیدآورنده : / Maria Paola Bonacina, Mark E. Stickel
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
2. Automated deduction - CADE-24 :
پدیدآورنده : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013 ; Maria Paola Bonacina (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatisches Beweisverfahren,DÉDUCTION + DÉMONSTRATION DE THÉORÈMES (INTELLIGENCE ARTIFICIELLE),DEDUKTION + BEWEISEN VON THEOREMEN (KÜNSTLICHE INTELLIGENZ)
3. 24- CADEتAutomated Deduction
پدیدآورنده : / Maria Paola Bonacina
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
